Article 1217

Title of the article

TRANSFORMATION OF FINITE STATE MACHINEBASED SPECIFICATIONS INTO FUNCTION BLOCKBASED
IMPLEMENTATION OF A CONTROL SYSTEM FOR WORKPIECE SEQUENCES SORTING

Authors

Dubinin Viktor Nikolaevich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), dubinin.victor@gmail.com 
Senokosov Il'ya Vladimirovich, Master’s degree student, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), senokosov.i@yandex.ru
Vyatkin Valeriy Vladimirovich, Doctor of engineering sciences, professor, sub-department of dependable communications and computations, Lulea University of Technology (building A, Regnbagallen street, Lulea, Sweden), valeriy.vyatkin@ltu.se
Klimkina Lyudmila Petrovna, Senior lecturer, sub-department of organization and informatization of manufacturing, Penza State Agricultural University (30 Botanicheskaya street, Penza, Russia), ludmila.klimkina@gmail.com

Index UDK

681.513

DOI

10.21685/2072-3059-2017-2-1

Abstract

Background. Increasing product complexity complicates technological processes of manufacturing. Centers of workpiece sorting and storage are becoming an important part of production systems along with centers of workpieces processing. The goal of this paper is to develop methods and tools describe and synthesize component- based control systems for workpieces sorting on the basis of specified sequences selection. The research object is information mechatronic production systems for workpieces sorting. The research subject is methods and tools of design and implementation of control systems for workpieces sequences sorting on the basis of the standard IEC 61499.
Materials and methods. This research was carried out using the theory of finite state machines and formal languages, graph transformations, logic programming, as well as software engineering methods for control systems based on IEC 61499 function blocks (FB).
Results. The authors have developed as follows: 1) a formal model of selecting finite automata for specification and selection of workpiece sequences in industrial sorting systems; 2) an approach to implementation of FB-based selecting automata using a token transferring mechanism; 3) a graphs inference system defining the process of IEC 61499 FB system structure generation from finite state machine–based specifications of selectable workpiece sequences; 4) a method of automatic translation of specifications of selectable workpiece sequences into the IEC 61499 FB-based sorting control system.
Conclusions. The proposed approach to construction of workpiece sequences sorting systems is new and has not yet been used in industrial practice. The developed methods and tools for describing and synthesizing FB-based workpiece sequences sorting control systems are convenient and effective as evidenced by the experience of development and exploitation of the relevant software tools.

Key words

sorting, selection, workpiece sequence, specification, finite state machine, nondeterministic automaton, selecting automaton, token transfer, graphs inference, Prolog language, function blocks, control system, standard IEC 61499, ball sorting system, nxtStudio

Download PDF
References

1. Web-site EasyVeep. Ball sorting system. Available at: http://www.easyveep.com/ modules.php?akt_modul=7&akt_Lang=2
2. Rose K., Eldridge S., Chapin L. Internet Society. 2015, October, 51 p.
3. Khopkroft Dzh., Motvani R., Ul'man Dzh. Vvedenie v teoriyu avtomatov, yazykov i vychisleniy [Introduction into the theory of automata, languages and computing]. Moscow: Vil'yams, 2002, 528 p.
4. Hassibi K. M., Loparo K. A., Merat F. L. Proc. SPIE 1002, Intelligent Robots and Computer Vision VII, 1989.
5. Model-Driven Software Development. B. Sami, M. Book, V. Gruhn (eds.). London:Springer, 2005, 464 p. 
6. Vyatkin V. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, second Edition. Instrumentation Society of America (ISA) and O3neida, 2011, 297 p.
7. Kloksin U., Mellish K. Programmirovanie na yazyke Prolog [Prolog language programming]. Moscow: Mir, 1987, 336 p.
8. Vashkevich N. P., Biktashev R. A. Nedeterminirovannye avtomaty i ikh ispol'zovanie dlya realizatsii sistem parallel'noy obrabotki informatsii: monogr. [Nondeterministic automata and their application for implementation of parallel data processing systems: monograph]. Penza: Izd-vo PGU, 2016, 394 p.
9. Dubinin V. N., Budagovskiy D. A., Drozdov D. N., Artamonov D. V. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2016, no. 2 (38), pp. 18–32.
10. Grunske L., Geiger L., Zuendorf A., Eetvelde N. V., Gorp P. V., Varro D. Modeldriven Software Development. Berlin; Heidelberg: Springer Verlag, 2005, pp. 91–118.
11. Web-site nxtStudio (nxtControl). Available at: http://www.nxtcontrol.com/

 

Дата создания: 07.11.2017 10:40
Дата обновления: 07.11.2017 13:57